Instance Verification Kit (IVK)

mutex lock @ [4769+24+/linux-3.18-rc1/include/media/videobuf-core.h]
Instance Signature: vb_lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
stream_next_buffer [15614+18+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
stream_next_buffer_check_queue [14722+30+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_dqbuf [16036+14+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_free [8876+18+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_mapper [26672+20+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_mmap_setup [9974+19+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_poll_stream [25476+20+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_qbuf [12217+13+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_querybuf [11637+17+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_queue_lock [4700+19+/linux-3.18-rc1/include/media/videobuf-core.h]
videobuf_queue_unlock [4816+21+/linux-3.18-rc1/include/media/videobuf-core.h]
videobuf_read_one [20133+17+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_start [23251+19+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stop [23454+18+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_read_stream [23858+20+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_reqbufs [10272+16+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_stop [23626+13+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamoff [17680+18+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]
videobuf_streamon [16915+17+/linux-3.18-rc1/drivers/media/v4l2-core/videobuf-core.c]